翻訳と辞書 Words near each other ・ Mobile Location Analytics ・ Mobile Location Protocol ・ Mobile logperch ・ Mobile lounge ・ Mobile Magazine ・ Mobile magazine explosion ・ Mobile Majesty ・ Mobile manipulator ・ Mobile Manufacturers Forum ・ Mobile mapping ・ Mobile marketing ・ Mobile marketing automation ・ Mobile marketing research ・ Mobile Marriott ・ Mobile media ・ Mobile Membranes ・ Mobile messaging operator ・ Mobile Meteorological Unit ・ Mobile metropolitan area ・ Mobile Mini ・ Mobile Motion Film Festival ・ Mobile multi-coloured composite ・ Mobile museum ・ Mobile Museum of Art ・ Mobile music ・ Mobile Muskateers ・ Mobile Mysticks ・ Mobile National Cemetery ・ Mobile Naval Air Base ・ Mobile Netherlands Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Mobile Membranes ： ウィキペディア英語版 Mobile Membranes Membrane systems have been inspired from the structure and the functioning of the living cells. They were introduced and studied by Gh.Paun under the name of P systems (); some applications of the membrane systems are presented in (). Membrane systems are essentially models of distributed, parallel and nondeterministic systems. Here we motivate and present the mobile membranes. Mobile membranes represent a variant of membrane systems inspired by the biological movements given by endocytosis and exocytosis. They have the expressive power of both P systems and process calculi with mobility such as mobile ambients () and brane calculi (). Computations with mobile membranes can be defined over specific configurations (like process calculi), while they represent also a rule-based formalism (like P systems). The model is characterized by two essential features: * A spatial structure consisting of a hierarchy of membranes (which do not intersect) with objects associated to them. A membrane without any other membranes inside is called elementary. * The general rules describing the evolution of the structure: endocytosis (moving an elementary membrane inside a neighbouring membrane) and exocytosis (moving an elementary membrane outside the membrane where it is placed). More specific rules are given by pinocytosis (engulfing zero external membranes) and phagocytosis (engulfing just one external elementary membrane). The computations are performed in the following way: starting from an initial structure, the system evolves by applying the rules in a nondeterministic and maximally parallel manner. A rule is applicable when all the involved objects and membranes appearing in its left hand side are available. The maximally parallel way of using the rules means that in each step a maximal multiset of rules is applied, namely a multiset of rules such that no further rule can be added to the set. A halting configuration is reached when no rule is applicable. The result is represented by the number of objects associated to a specified membrane. Mobile membranes represents a formalism which describes the movement of membranes inside a spatial structure by applying rules from a given set of rules $R$. The mobility is provided by consumption and rewriting of objects. In terms of computation, the work is performed using membrane configurations. A the set $$ of membrane configurations (ranged by $M,N,\backslash dots$) os defined by using the free monoid $V^$ * (ranged over by $u,v,\backslash dots$) generated by a finite alphabet $V$ (ranged over by $a,b,\backslash dots$): $\backslash qquad\; \backslash qquad\; M::=\; u\; \backslash ;\backslash mid\backslash ;\; ()\_u\backslash ;\backslash mid\backslash ;M\; \backslash |\; M$ If $M$ and $N$ are two membrane configurations, $M$ reduces to $N$ (denoted by $M\; \backslash rightarrow\; N$) if there exists a rule in the set of rules $R$ applicable to the configuration $M$ such that the new configuration $N$ is obtained. When applying the rules of $R$, also the following inference rules are used: $\backslash qquad\; \backslash quad\; \backslash frac\; ;\; \backslash qquad\; \backslash qquad$ \quad \frac ; $\backslash qquad\; \backslash \; \backslash frac$ ; \qquad \qquad \ \frac N} When describing a computation of a systems of mobile membranes, an initial configuration $M\_0$ and a set of rules $R$ are given. The rules used in this paper describe an $$ (object rewriting), $$ movement (moving an elementary membrane inside a neighbouring membrane), $$ movement (moving an elementary membrane outside the membrane where it is placed), $$ (engulfing zero external membranes), and $$ (engulfing just one external elementary membrane). ==Computability Power of Mobile Membranes== A specific feature of the mobile membranes is that this new rule-based model is appropriate to prove computability results in terms of Turing machines rather by reduction to the lambda calculus as in the case of process calculi with mobility. In this section are defined four classes of membranes inspired from biological facts, and it is showed that their computational power depends on the initial configuration and on the set of rules used. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Mobile Membranes」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.